Broch Johnsen: tìm kiếm trên Z-Library

Truy cập tự do vào tri thức và văn hóa.

Don't use scam websites

Các bộ lọc được sử dun

Tìm chính xác từ

Tìm chính xác từ

Sách (17)
Phổ biến
- Sắp xếp theo×
- Phổ biến
- Phù hợp nhất
- Đangđược bổ sung
- Theo tên (A-Z)
- Theo tên (Z-A)
- Theo năm
- Kích thước file ↓
- Kích thước file ↑
Danh sách
- Danh sách
- Bảng

1

Software Engineering and Formal Methods

Software Engineering and Formal Methods

Springer International Publishing

Einar Broch Johnsen, Ina Schaefer

Năm:

2018

Ngôn ngữ:

english

File:

PDF, 13.03 MB

0 / 0

english, 2018

2

Active Object Languages: Current Research Trends

Active Object Languages: Current Research Trends

Frank de Boer, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Eduard Kamburjan

Năm:

2024

Ngôn ngữ:

english

File:

PDF, 14.13 MB

0 / 5.0

english, 2024

3

The Logic of Software. A Tasting Menu of Formal Methods

The Logic of Software. A Tasting Menu of Formal Methods

Wolfgang Ahrendt • Bernhard Beckert • Richard Bubel • Einar Broch Johnsen (Eds.)

Năm:

2022

Ngôn ngữ:

english

File:

PDF, 27.25 MB

0 / 4.0

english, 2022

4

Fundamental Approaches to Software Engineering, 25th International Conference, FASE 2022

Fundamental Approaches to Software Engineering, 25th International Conference, FASE 2022

Einar Broch Johnsen, Manuel Wimmer

Năm:

2022

Ngôn ngữ:

english

File:

PDF, 12.87 MB

0 / 5.0

english, 2022

5

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen

Năm:

2022

Ngôn ngữ:

english

File:

PDF, 25.19 MB

0 / 5.0

english, 2022

6

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

Springer International Publishing

Marco Bernardo, Einar Broch Johnsen (eds.)

Năm:

2015

Ngôn ngữ:

english

File:

PDF, 10.83 MB

0 / 0

english, 2015

7

Service-oriented and cloud computing : 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, proceedings

Service-oriented and cloud computing : 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, proceedings

Broch Johnsen, Einar, De Paoli, Flavio, Schulte, Stefan

Năm:

2017

Ngôn ngữ:

english

File:

PDF, 22.77 MB

0 / 0

english, 2017

8

Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings

Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings

Springer International Publishing

Sebastian Gabmeyer, Einar Broch Johnsen (eds.)

Năm:

2017

Ngôn ngữ:

english

File:

PDF, 8.10 MB

0 / 0

english, 2017

9

Coordination Models and Languages: 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings

Coordination Models and Languages: 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro (auth.), Wolfgang De Meuter, Gruia-Catalin Roman (eds.)

Năm:

2011

Ngôn ngữ:

english

File:

PDF, 3.01 MB

0 / 0

english, 2011

10

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Einar Broch Johnsen, Luigia Petre (eds.)

Năm:

2013

Ngôn ngữ:

english

File:

PDF, 7.94 MB

0 / 0

english, 2013

11

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Springer International Publishing

Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (eds.)

Năm:

2014

Ngôn ngữ:

english

File:

PDF, 10.79 MB

0 / 0

english, 2014

12

Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Springer International Publishing

Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen (eds.)

Năm:

2016

Ngôn ngữ:

english

File:

PDF, 14.27 MB

0 / 0

english, 2016

13

Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings

Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings

Springer International Publishing

Marco Aiello, Einar Broch Johnsen, Schahram Dustdar, Ilche Georgievski (eds.)

Năm:

2016

Ngôn ngữ:

english

File:

PDF, 21.46 MB

0 / 0

english, 2016

14

Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida (auth.), Marcello M. Bonsangue, Einar Broch Johnsen (eds.)

Năm:

2007

Ngôn ngữ:

english

File:

PDF, 3.57 MB

0 / 0

english, 2007

15

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Springer International Publishing

Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (eds.)

Năm:

2014

Ngôn ngữ:

english

File:

PDF, 8.06 MB

0 / 0

english, 2014

16

Coordination Models and Languages: 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings

Coordination Models and Languages: 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro (auth.), Wolfgang De Meuter, Gruia-Catalin Roman (eds.)

Năm:

2011

Ngôn ngữ:

english

File:

PDF, 2.78 MB

0 / 0

english, 2011

17

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014

Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer

Năm:

2014

Ngôn ngữ:

english

File:

PDF, 3.83 MB

0 / 0

english, 2014